Manfred Broy (auth.): ძიება ვებგვერდზე Z-Library

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024

Z-Library - ერთ-ერთი უდიდესი ონლაინ ბიბლიოთეკა მსოფლიოში, რომელშიც ინახება მეტი 17,000,000 წიგნი და 84,837,000 სტატია. ჩვენ ვისწრაფვით ლიტერატურა ხელმისაწვდომი გახდეს თითოეულისთვის დღეს (15 სექტემბერს 2024) ჩვენ ვიწყებთ შემოწირულობათა დამატებით შეგროვებას პროექტის მხარდასაჭერად და განვითარების ხელშესაწყობად.

ასევე, ულიმიტო ჩამოტვირთვები (შემოწირულების დღიდან 31 დღე) ხელმისაწვდომი იქნება ყველა მომხმარებლისთვის, ვინც შემოწირულობას ჩარიცხავს თანხის მოკრების პერიოდში, 1 ოქტომბერს 2024- მდე.

თანხის შეგროვების შესახებდეტალურად

მხარდაჭერა

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

Formal Methods and Models for System Design: A System Level Perspective

Springer US

Manfred Broy (auth.), Rajesh Gupta, Paul Le Guernic, Sandeep Kumar Shukla, Jean-Pierre Talpin (eds.)

წელი:

2004

ენა:

english

ფაილი:

PDF, 23.23 MB

0 / 0

english, 2004

Automotive Software – Connected Services in Mobile Networks: First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Christian Ferdinand, Reinhold Heckmann (auth.), Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.)

წელი:

2006

ენა:

english

ფაილი:

PDF, 4.65 MB

0 / 0

english, 2006

Formal Systems Specification: The RPC-Memory Specification Case Study

Springer-Verlag Berlin Heidelberg

Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

წელი:

1996

ენა:

english

ფაილი:

DJVU, 4.41 MB

5.0 / 4.0

english, 1996

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Springer Berlin Heidelberg

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

წელი:

2010

ენა:

german

ფაილი:

PDF, 1.20 MB

0 / 0

german, 2010

Pioneers and Their Contributions to Software Engineering: sd&m Conference on Software Pioneers, Bonn, June 28/29, 2001, Original Historic Contributions

Springer Berlin Heidelberg

K. Samelson, F. L. Bauer (auth.), Manfred Broy, Ernst Denert (eds.)

წელი:

2001

ენა:

english

ფაილი:

PDF, 34.05 MB

0 / 0

english, 2001

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Springer-Verlag Berlin Heidelberg

Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

წელი:

1985

ენა:

english

ფაილი:

DJVU, 5.69 MB

0 / 0

english, 1985

Model-Based Testing of Reactive Systems: Advanced Lectures

Springer-Verlag Berlin Heidelberg

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

წელი:

2005

ენა:

english

ფაილი:

PDF, 5.87 MB

0 / 0

english, 2005

Software Quality. Increasing Value in Software and Systems Development: 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Dietmar Winkler, Stefan Biffl, Johannes Bergsmann (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 5.15 MB

0 / 0

english, 2013

Formal Systems Specification: The RPC-Memory Specification Case Study

Springer-Verlag Berlin Heidelberg

Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)

წელი:

1996

ენა:

english

ფაილი:

PDF, 8.22 MB

0 / 0

english, 1996

Large-Scale Complex IT Systems. Development, Operation and Management: 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Manfred Broy, María Victoria Cengarle, Eva Geisberger (auth.), Radu Calinescu, David Garlan (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 8.59 MB

0 / 0

english, 2012

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Springer Berlin Heidelberg

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

წელი:

2010

ენა:

german

ფაილი:

PDF, 1.36 MB

0 / 0

german, 2010

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Karin Breitman, Ana Cavalcanti (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 13.88 MB

0 / 0

english, 2009

Program Design Calculi

Springer-Verlag Berlin Heidelberg

Carroll Morgan (auth.), Manfred Broy (eds.)

წელი:

1993

ენა:

english

ფაილი:

PDF, 13.42 MB

0 / 0

english, 1993

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Springer Netherlands

Ralph-Johan Back (auth.), Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare (eds.)

წელი:

2005

ენა:

english

ფაილი:

PDF, 6.11 MB

0 / 0

english, 2005

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

წელი:

1996

ენა:

english

ფაილი:

DJVU, 3.86 MB

0 / 0

english, 1996

Requirements Targeting Software and Systems Engineering: International Workshop RTSE ’97, Bernried, Germany, October 12-14, 1997

Springer Berlin Heidelberg

Dines Bjørner (auth.), Manfred Broy, Bernhard Rumpe (eds.)

წელი:

1998

ენა:

english

ფაილი:

PDF, 3.20 MB

0 / 0

english, 1998

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)

წელი:

2003

ენა:

english

ფაილი:

PDF, 7.03 MB

0 / 0

english, 2003

Perspectives of System Informatics: 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003. Revised Papers

Springer-Verlag Berlin Heidelberg

Tony Hoare (auth.), Manfred Broy, Alexandre V. Zamulin (eds.)

წელი:

2003

ენა:

english

ფაილი:

PDF, 5.85 MB

0 / 0

english, 2003

Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Tiziana Margaria, Bernhard Steffen (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 35.10 MB

0 / 0

english, 2009

Cyber-Physical Systems: Innovation Durch Software-Intensive Eingebettete Systeme

Springer Berlin Heidelberg

Prof. Dr. Dr. h.c. Manfred Broy (auth.), Prof. Dr. Dr. h. c. Manfred Broy (eds.)

წელი:

2010

ენა:

german

ფაილი:

PDF, 1.26 MB

0 / 5.0

german, 2010

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference Akademgorodok, Novosibirsk, Russia, June 25–28, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

წელი:

1996

ენა:

english

ფაილი:

PDF, 6.23 MB

0 / 5.0

english, 1996

Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology

Springer-Verlag Berlin Heidelberg

Klaus Beetz, Dr. Wolfgang Böhm (auth.), Klaus Pohl, Harald Hönninger, Reinhold Achatz, Manfred Broy (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 10.50 MB

0 / 0

english, 2012

Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School

Springer-Verlag Berlin Heidelberg

Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

წელი:

1985

ენა:

english

ფაილი:

PDF, 26.53 MB

0 / 0

english, 1985

Programming and Mathematical Method: International Summer School

Springer-Verlag Berlin Heidelberg

Prof. Dr. Edsger W. Dijkstra (auth.), Manfred Broy (eds.)

წელი:

1992

ენა:

english

ფაილი:

PDF, 31.22 MB

0 / 0

english, 1992

Software Pioneers: Contributions to Software Engineering

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Prof. Dr. Manfred Broy, Prof. Dr. Ernst Denert (eds.)

წელი:

2002

ენა:

english

ფაილი:

PDF, 305.89 MB

0 / 0

english, 2002

Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, directed by F. L. Bauer, E. W. Dijkstra and C. A. R. Hoare

Springer Netherlands

Edsger W. Dijkstra (auth.), Manfred Broy, Gunther Schmidt (eds.)

წელი:

1982

ენა:

english

ფაილი:

PDF, 43.75 MB

0 / 0

english, 1982

Übungen zur Einführung in die Informatik: Strukturierte Aufgabensammlung mit Musterlösungen

Springer-Verlag Berlin Heidelberg

Prof. Dr. Manfred Broy, Dr. Bernhard Rumpe (auth.)

წელი:

2002

ენა:

german

ფაილი:

PDF, 10.18 MB

0 / 0

german, 2002

Projektorganisation und Management im Software Engineering

Springer Vieweg

Manfred Broy, Marco Kuhrmann (auth.)

წელი:

2013

ენა:

german

ფაილი:

PDF, 5.66 MB

0 / 0

german, 2013

VDI-Lexikon Informatik und Kommunikationstechnik

Springer-Verlag Berlin Heidelberg

Prof. Dr. rer. nat. Manfred Broy (auth.), Prof. Dr. rer. nat. Manfred Broy, Prof. Dr. rer. nat. Otto Spaniol (eds.)

წელი:

1999

ენა:

german

ფაილი:

PDF, 34.77 MB

0 / 0

german, 1999

Mathematical Methods in Program Development

Springer-Verlag Berlin Heidelberg

David Gries (auth.), Manfred Broy, Birgit Schieder (eds.)

წელი:

1997

ენა:

english

ფაილი:

PDF, 21.26 MB

0 / 0

english, 1997

Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

K. Venkatesh Prasad, Thomas J. Giuli, David Watson (auth.), Manfred Broy, Ingolf H. Krüger, Michael Meisinger (eds.)

წელი:

2008

ენა:

english

ფაილი:

PDF, 4.08 MB

0 / 0

english, 2008

Advances in real-time systems

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Samarjit Chakraborty, Jörg Eberspächer (eds.)

წელი:

2012

ენა:

english

ფაილი:

PDF, 8.31 MB

0 / 0

english, 2012

Informatik: Eine grundlegende Einführung, Teil IV. Theoretische Informatik, Algorithmen und Datenstrukturen, Logikprogrammierung, Objektorientierung

Springer Berlin Heidelberg

Professor Dr. Manfred Broy (auth.)

წელი:

1995

ენა:

german

ფაილი:

PDF, 9.57 MB

0 / 0

german, 1995

Model-Based Testing of Reactive Systems: Advanced Lectures

Springer-Verlag Berlin Heidelberg

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (auth.), Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner (eds.)

წელი:

2005

ენა:

english

ფაილი:

PDF, 5.92 MB

0 / 0

english, 2005

Program Construction: International Summer School

Springer-Verlag Berlin Heidelberg

Edsger W. Dijkstra (auth.), Prof. Dr. Dr. h. c. Friedrich L. Bauer, Dipl.-Math. Manfred Broy, E. W. Dijkstra, S. L. Gerhart, D. Gries, M. Griffiths, J. V. Guttag, J. J. Horning, S. S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, H. Wössner (eds.)

წელი:

1979

ენა:

english

ფაილი:

DJVU, 4.87 MB

0 / 0

english, 1979

Complex Systems Design & Management: Proceedings of the Third International Conference on Complex Systems Design & Management CSD&M 2012

Springer-Verlag Berlin Heidelberg

Manfred Broy (auth.), Marc Aiguier, Yves Caseau, Daniel Krob, Antoine Rauzy (eds.)

წელი:

2013

ენა:

english

ფაილი:

PDF, 16.68 MB

0 / 0

english, 2013

Informatik Eine grundlegende Einführung: Band 1: Programmierung und Rechnerstrukturen

Springer-Verlag Berlin Heidelberg

Prof. Dr. Manfred Broy (auth.)

წელი:

1998

ენა:

german

ფაილი:

PDF, 14.65 MB

0 / 0

german, 1998

Springer Berlin Heidelberg

Prof. Dr. Manfred Broy, Dr. Bernhard Rumpe (auth.)

წელი:

1998

ენა:

german

ფაილი:

PDF, 18.03 MB

0 / 0

german, 1998